Jabbour, Saïd: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability

Jabbour, Said, Mhadbhi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 210 KB

english, 2018

2

Mining Top-k motifs with a SAT-based framework

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 973 KB

english, 2015

3

SAT-Based Data Mining

Boudane, Abdelhamid, Jabbour, Saïd, Sais, Lakhdar, Salhi, Yakoub

Journal:

International Journal of Artificial Intelligence Tools

Year:

2018

Language:

english

File:

PDF, 614 KB

english, 2018

4

Cloud service composition using minimal unsatisfiability and genetic algorithm

Ait Wakrime, Abderrahim, Rekik, Mouna, Jabbour, Said

Journal:

Concurrency and Computation: Practice and Experience

Year:

2019

Language:

english

File:

PDF, 764 KB

english, 2019

5

SAT graph-based representation: A new perspective

Gilles Audemard, Said Jabbour, Lakhdar Sais

Journal:

Journal of Algorithms

Year:

2008

Language:

english

File:

PDF, 434 KB

english, 2008

6

Learning from conflicts in propositional satisfiability

Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs

Journal:

4OR: A Quarterly Journal of Operations Research

Year:

2012

Language:

english

File:

PDF, 295 KB

english, 2012

7

LEARNING FOR DYNAMIC SUBSUMPTION

HAMADI, YOUSSEF, JABBOUR, SAÏD, SAÏS, LAKHDAR

Journal:

International Journal of Artificial Intelligence Tools

Year:

2010

Language:

english

File:

PDF, 393 KB

english, 2010

8

LEARNING FROM SUCCESSES

Journal:

International Journal of Artificial Intelligence Tools

Year:

2010

Language:

english

File:

PDF, 334 KB

english, 2010

9

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning for Dynamic Assignments Reordering

Year:

2009

Language:

english

File:

PDF, 345 KB

english, 2009

10

[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - An Effective Distributed D&C Approach for the Satisfiability Problem

Audemard, Gilles, Hoessen, Benoit, Jabbour, Said, Piette, Cedric

Year:

2014

Language:

english

File:

PDF, 173 KB

english, 2014

11

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning for Dynamic Subsumption

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 343 KB

english, 2009

12

[IEEE 2011 IEEE International Conference on Data Mining Workshops (ICDMW) - Vancouver, BC, Canada (2011.12.11-2011.12.11)] 2011 IEEE 11th International Conference on Data Mining Workshops - A Constraint Programming Approach for Enumerating Motifs in a Sequence

Coquery, Emmanuel, Jabbour, Saïd, Saïs, Lakhdar

Year:

2011

Language:

english

File:

PDF, 210 KB

english, 2011

13

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Symmetry-Based Pruning in Itemset Mining

Jabbour, Said, Khiari, Mehdi, Sais, Lakhdar, Salhi, Yakoub, Tabia, Karim

Year:

2013

Language:

english

File:

PDF, 600 KB

english, 2013

14

[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - Extending modern SAT solvers for models enumeration

Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar, Salhi, Yakoub

Year:

2014

Language:

english

File:

PDF, 141 KB

english, 2014

15

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving

Guo, Long, Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

16

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Boolean satisfiability for sequence mining

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub

Year:

2013

Language:

english

File:

PDF, 560 KB

english, 2013

17

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Mining-based compression approach of propositional formulae

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub, Uno, Takeaki

Year:

2013

Language:

english

File:

PDF, 679 KB

english, 2013

18

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - On the Characterization of Inconsistency: A Prime Implicates Based Framework

Jabbour, Said, Ma, Yue, Raddaoui, Badran, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 762 KB

english, 2014

19

What we can learn from conflicts in propositional satisfiability

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Journal:

Annals of Operations Research

Year:

2016

Language:

english

File:

PDF, 789 KB

english, 2016

20

[IEEE 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Vietri sul Mare, Italy (2015.11.9-2015.11.11)] 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Mining to Compress Table Constraints

Jabbour, Said, Roussel, Stephanie, Sais, Lakhdar, Salhi, Yakoub

Year:

2015

Language:

english

File:

PDF, 235 KB

english, 2015

21

[IEEE 2015 IEEE 12th International Conference on e-Business Engineering (ICEBE) - Beijing, China (2015.10.23-2015.10.25)] 2015 IEEE 12th International Conference on e-Business Engineering - Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing

Wakrime, Abderrahim Ait, Benbernou, Salima, Jabbour, Said

Year:

2015

Language:

english

File:

PDF, 297 KB

english, 2015

22

PD07-10 EFFECT OF BARIATRIC SURGERY ON SEMEN PARAMETERS AND HORMONE PROFILE; A PROSPECTIVE OBSERVATIONAL STUDY.

Majzoub, Ahmad, Arafa, Mohamed, Al Said, Sami, Jabbour, Gaby, Basha, Moataz, Sabanegh, Edmund, El Bardisi, Haitham

Journal:

The Journal of Urology

Year:

2016

Language:

english

File:

PDF, 1.06 MB

english, 2016

23

[IEEE 2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA) - Marrakech (2015.12.21-2015.12.23)] 2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA) - On QoS web service composition using satisfiability

Wakrime, Abderrahim Ait, Jabbour, Said

Year:

2015

Language:

english

File:

PDF, 152 KB

english, 2015

24

[IEEE 2015 15th International Conference on Intelligent Systems Design and Applications (ISDA) - Marrakech (2015.12.14-2015.12.16)] 2015 15th International Conference on Intelligent Systems Design and Applications (ISDA) - Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing

Wakrime, Abderrahim Ait, Jabbour, Said

Year:

2015

Language:

english

File:

PDF, 421 KB

english, 2015

25

Effect of bariatric surgery on semen parameters and sex hormone concentrations: a prospective study

El Bardisi, Haitham, Majzoub, Ahmad, Arafa, Mohamed, AlMalki, Ahmad, Al Said, Sami, Khalafalla, Kareim, Jabbour, Gaby, Basha, Moataz, Al Ansari, Abdulla, Sabanegh, Edmund

Journal:

Reproductive BioMedicine Online

Year:

2016

Language:

english

File:

PDF, 804 KB

english, 2016

26

[IEEE 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Marrakech, Morocco (2015.11.17-2015.11.20)] 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Parallel SAT based closed frequent itemsets enumeration

Dlala, Imen Ouled, Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub, Yaghlane, Boutheina Ben

Year:

2015

Language:

english

File:

PDF, 674 KB

english, 2015

27

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Itemset Mining with Penalties

Jabbour, Said, Kaci, Souhila, Sais, Lakhdar, Salhi, Yakoub

Year:

2016

Language:

english

File:

PDF, 210 KB

english, 2016

28

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data

Dlala, Imen Ouled, Jabbour, Said, Raddaoui, Badran, Sais, Lakhdar, Ben Yaghlane, Boutheina

Year:

2016

Language:

english

File:

PDF, 233 KB

english, 2016

29

[IEEE 2016 International Conference on Electrical and Information Technologies (ICEIT) - Tangiers, Morocco (2016.5.4-2016.5.7)] 2016 International Conference on Electrical and Information Technologies (ICEIT) - Web Service Composition as minimal unsatisfiability

Wakrime, Abderrahim Ait, Jabbour, Said, Belabed, Amine

Year:

2016

Language:

english

File:

PDF, 352 KB

english, 2016

30

Quantifying conflicts in propositional logic through prime implicates

Jabbour, Said, Ma, Yue, Raddaoui, Badran, Sais, Lakhdar

Journal:

International Journal of Approximate Reasoning

Year:

2017

Language:

english

File:

PDF, 812 KB

english, 2017

31

[IEEE 2016 IEEE International Conference on Big Data (Big Data) - Washington DC,USA (2016.12.5-2016.12.8)] 2016 IEEE International Conference on Big Data (Big Data) - Summarizing big graphs by means of pseudo-boolean constraints

Jabbour, Said, Mhadhbi, Nizar, Mhadhbi, Abdesattar, Radaoui, Badran, Sais, Lakhdar

Year:

2016

Language:

english

File:

PDF, 163 KB

english, 2016

32

[IEEE 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA) - Agadir, Morocco (2016.11.29-2016.12.2)] 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA) - On repairing queries in cloud computing

Wakrime, Abderrahim Ait, Jabbour, Said

Year:

2016

Language:

english

File:

PDF, 730 KB

english, 2016

33

[IEEE 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Poznan, Poland (2017.6.21-2017.6.23)] 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Formal Approach for QoS-Aware Cloud Service Composition

Wakrime, Abderrahim Ait, Jabbour, Said

Year:

2017

Language:

english

File:

PDF, 277 KB

english, 2017

34

[ACM Press the International Conference - Leipzig, Germany (2017.08.23-2017.08.26)] Proceedings of the International Conference on Web Intelligence - WI '17 - Handling conflicts in uncertain ontologies using deductive argumentation

Bouzeghoub, Amel, Jabbour, Said, Ma, Yue, Raddaoui, Badran

Year:

2017

Language:

english

File:

PDF, 650 KB

english, 2017

35

Mining Negatives Association Rules Using Constraints

Jabbour, Said, El Mazouri, Fatima Ezzahra, Sais, Lakhdar

Journal:

Procedia Computer Science

Year:

2018

Language:

english

File:

PDF, 278 KB

english, 2018

36

[IEEE 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability

Jabbour, Said, Mhadbhi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Year:

2018

File:

PDF, 210 KB

2018

37

A MaxSAT based approach for QoS cloud services

Ait Wakrime, Abderrahim, Jabbour, Said, Hameurlain, Nabil

Journal:

International Journal of Parallel Emergent and Distributed Systems

Year:

2018

Language:

english

File:

PDF, 1.18 MB

english, 2018

38

Revisiting the Learned Clauses Database Reduction Strategies

Jabbour, Saïd, Lonlac, Jerry, Saïs, Lakhdar, Salhi, Yakoub

Journal:

International Journal of Artificial Intelligence Tools

Year:

2018

Language:

english

File:

PDF, 246 KB

english, 2018

39

Breaking Symmetries in Association Rules

Mazouri, Fatima-Zahra El, Jabbour, Said, Raddaoui, Badran, Sais, Lakhdar, Abounaima, Mohammed Chaouki, Zenkouar, Khalid

Journal:

Procedia Computer Science

Year:

2019

Language:

english

File:

PDF, 316 KB

english, 2019

40

SAT-based models for overlapping community detection in networks

Jabbour, Said, Mhadhbi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Journal:

Year:

2020

File:

PDF, 718 KB

2020

41

Deterministic Parallel DPLL

Hamadi, Youssef, Jabbour, Said, Piette, Cedric, Sais, Lakhdar

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2011

File:

PDF, 570 KB

2011

42

ManySAT: a Parallel SAT Solver

Hamadi, Youssef, Jabbour, Said, Sais, Lakhdar, Hamadi, Youssef

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2009

File:

PDF, 753 KB

2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски